🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
βœ… Document Verification

Format Proofs, Archive Correctness, Preservation Logic, Type-safe Storage

davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comΒ·8h
πŸ“Concrete Syntax
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.orgΒ·1d
πŸ§ͺCBOR Fuzzing
Portable Network Graphics (PNG) Specification (Third Edition)
w3.orgΒ·17hΒ·
Discuss: Hacker News
πŸ•ΈοΈWebP Analysis
Introduction to the Fundamentals of Amazon Redshift
redshift-observatory.chΒ·5h
πŸ—ƒοΈDatabase Storage
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.comΒ·1d
🌳Archive Merkle Trees
OpenELA Introduces Open-Source Verification Suite for Enterprise Linux
linuxiac.comΒ·3h
πŸ”“Open Source Software
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.ioΒ·20m
πŸ“ŠGraph Databases
Local Elasticsearch Playground: A Practical Introduction and hands-on test (and moving to a RAG solution)
dev.toΒ·1dΒ·
Discuss: DEV
🏺ZIP Archaeology
The one-more-re-nightmare compiler (2021)
applied-langua.geΒ·21hΒ·
Discuss: Lobsters, r/programming
πŸ”RegEx Engines
The Case for Native Iceberg Catalog APIs and Unified Governance in Object Storage
blog.min.ioΒ·1d
🏷️Metadata Standards
Show HN: TableSprint- Supabase alternative with vibe coding features
tablesprint.comΒ·11hΒ·
Discuss: Hacker News
πŸ“²Digitization
What Are Best Practices for Data Security for Sensitive Data?
securityscorecard.comΒ·17h
πŸ”—Data Provenance
LakeFS adds REST catalog support for data version control on structured data
lakefs.ioΒ·34mΒ·
Discuss: Hacker News
πŸ”ŒArchive APIs
Program Execution, follow-up
windowsir.blogspot.comΒ·2hΒ·
Discuss: www.blogger.com
⚑Performance Tools
Tiny Deltas, Big Wins: Schema-less Thrift Patching at Planet Scale
hackernoon.comΒ·7h
πŸ“‹Protocol Buffers
Encrypting identifiers in practice
sjoerdlangkemper.nlΒ·9h
🌊Stream Ciphers
Solving LinkedIn Queens Using Haskell
imiron.ioΒ·1dΒ·
Discuss: Lobsters, Hacker News, r/programming
Ξ»Lambda Formalization
iPRES Digital Preservation Bake Off 2025 - Amuse Bouche Challenge: Tiny Tools, Tasty Wins
ipres2025.nzΒ·2d
πŸ”„Archival Workflows
5 huge stumbling blocks to legacy mainframe EOL
techradar.comΒ·7h
πŸ›οΈMainframe Archaeology
SSL and TLS Deployment Best Practices
github.comΒ·15hΒ·
Discuss: Hacker News
πŸ”Certificate Analysis
Loading...Loading more...
AboutBlogChangelogRoadmap